<!DOCTYPE html>
<html>
<head>
    

    

    



    <meta charset="utf-8">
    
    
    
    
    <title>浅析Java泛型中extends和super作用 | 博客主页 | 世界是个球，前方总有路！</title>
    <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1">
    
    <meta name="theme-color" content="#3F51B5">
    
    
    <meta name="keywords" content="JavaSE">
    <meta name="description" content="一、前言&amp;emsp;&amp;emsp;最近依然在看《Java编程思想》这本书，说实话，非常晦涩难懂，除了讲的比较深入外，翻译太烂也是看不懂的一个重要原因。今天在看泛型这一章，也算是有些收获吧，所以写篇博客，记录一下其中比较容易遗忘的一个知识点：在泛型中，extends和super关键字的含义和用法。   二、描述&amp;emsp;&amp;emsp;学过Java的人应该都知道，extends和super这两个关键字的">
<meta property="og:type" content="article">
<meta property="og:title" content="浅析Java泛型中extends和super作用">
<meta property="og:url" content="http://tewuyiang.gitee.io/blog/%E6%B5%85%E6%9E%90Java%E6%B3%9B%E5%9E%8B%E4%B8%AD%E7%9A%84extends%E5%92%8Csuper%E4%BD%9C%E7%94%A8/index.html">
<meta property="og:site_name" content="博客主页">
<meta property="og:description" content="一、前言&amp;emsp;&amp;emsp;最近依然在看《Java编程思想》这本书，说实话，非常晦涩难懂，除了讲的比较深入外，翻译太烂也是看不懂的一个重要原因。今天在看泛型这一章，也算是有些收获吧，所以写篇博客，记录一下其中比较容易遗忘的一个知识点：在泛型中，extends和super关键字的含义和用法。   二、描述&amp;emsp;&amp;emsp;学过Java的人应该都知道，extends和super这两个关键字的">
<meta property="og:locale" content="zh_CN">
<meta property="article:published_time" content="2020-01-15T10:00:01.000Z">
<meta property="article:modified_time" content="2020-01-15T13:16:14.618Z">
<meta property="article:author" content="特务依昂">
<meta property="article:tag" content="JavaSE">
<meta name="twitter:card" content="summary">
    
        <link rel="alternate" type="application/atom+xml" title="博客主页" href="/blog/atom.xml">
    
    <link rel="shortcut icon" href="/blog/img/title.png">
    <link rel="stylesheet" href="//unpkg.com/hexo-theme-material-indigo@latest/css/style.css">
    <script>window.lazyScripts=[]</script>

    <!-- custom head -->
    

<meta name="generator" content="Hexo 4.2.0"></head>

<body>
    <div id="loading" class="active"></div>

    <aside id="menu" class="hide" >
  <div class="inner flex-row-vertical">
    <a href="javascript:;" class="header-icon waves-effect waves-circle waves-light" id="menu-off">
        <i class="icon icon-lg icon-close"></i>
    </a>
    <div class="brand-wrap" style="background-image:url(/blog/img/brand.jpg)">
      <div class="brand">
        <a href="/blog/" class="avatar waves-effect waves-circle waves-light">
          <img src="/blog/img/avatar.jpg">
        </a>
        <hgroup class="introduce">
          <h5 class="nickname">特务依昂</h5>
          <a href="mailto:1131564805@qq.com" title="1131564805@qq.com" class="mail">1131564805@qq.com</a>
        </hgroup>
      </div>
    </div>
    <div class="scroll-wrap flex-col">
      <ul class="nav">
        
            <li class="waves-block waves-effect">
              <a href="/blog/"  >
                <i class="icon icon-lg icon-home"></i>
                主页
              </a>
            </li>
        
            <li class="waves-block waves-effect">
              <a href="/blog/archives"  >
                <i class="icon icon-lg icon-archives"></i>
                博客
              </a>
            </li>
        
            <li class="waves-block waves-effect">
              <a href="/blog/tags"  >
                <i class="icon icon-lg icon-tags"></i>
                标签
              </a>
            </li>
        
            <li class="waves-block waves-effect">
              <a href="/blog/categories"  >
                <i class="icon icon-lg icon-th-list"></i>
                分类
              </a>
            </li>
        
            <li class="waves-block waves-effect">
              <a href="https://github.com/tewuyiang" target="_blank" >
                <i class="icon icon-lg icon-github"></i>
                Github
              </a>
            </li>
        
            <li class="waves-block waves-effect">
              <a href="https://weibo.com/u/5516635708/" target="_blank" >
                <i class="icon icon-lg icon-weibo"></i>
                Weibo
              </a>
            </li>
        
            <li class="waves-block waves-effect">
              <a href="https://www.cnblogs.com/tuyang1129/" target="_blank" >
                <i class="icon icon-lg icon-link"></i>
                博客园
              </a>
            </li>
        
      </ul>
    </div>
  </div>
</aside>

    <main id="main">
        <header class="top-header" id="header">
    <div class="flex-row">
        <a href="javascript:;" class="header-icon waves-effect waves-circle waves-light on" id="menu-toggle">
          <i class="icon icon-lg icon-navicon"></i>
        </a>
        <div class="flex-col header-title ellipsis">浅析Java泛型中extends和super作用</div>
        
        <div class="search-wrap" id="search-wrap">
            <a href="javascript:;" class="header-icon waves-effect waves-circle waves-light" id="back">
                <i class="icon icon-lg icon-chevron-left"></i>
            </a>
            <input type="text" id="key" class="search-input" autocomplete="off" placeholder="输入感兴趣的关键字">
            <a href="javascript:;" class="header-icon waves-effect waves-circle waves-light" id="search">
                <i class="icon icon-lg icon-search"></i>
            </a>
        </div>
        
        
        <a href="javascript:;" class="header-icon waves-effect waves-circle waves-light" id="menuShare">
            <i class="icon icon-lg icon-share-alt"></i>
        </a>
        
    </div>
</header>
<header class="content-header post-header">

    <div class="container fade-scale">
        <h1 class="title">浅析Java泛型中extends和super作用</h1>
        <h5 class="subtitle">
            
                <time datetime="2020-01-15T10:00:01.000Z" itemprop="datePublished" class="page-time">
  2020-01-15
</time>


	<ul class="article-category-list"><li class="article-category-list-item"><a class="article-category-list-link" href="/blog/categories/JavaSE/">JavaSE</a></li></ul>

            
        </h5>
    </div>

    


</header>


<div class="container body-wrap">
    
    <aside class="post-widget">
        <nav class="post-toc-wrap post-toc-shrink" id="post-toc">
            <h4>TOC</h4>
            <ol class="post-toc"><li class="post-toc-item post-toc-level-2"><a class="post-toc-link" href="#一、前言"><span class="post-toc-number">1.</span> <span class="post-toc-text">一、前言</span></a></li><li class="post-toc-item post-toc-level-2"><a class="post-toc-link" href="#二、描述"><span class="post-toc-number">2.</span> <span class="post-toc-text">二、描述</span></a></li><li class="post-toc-item post-toc-level-2"><a class="post-toc-link" href="#三、解析"><span class="post-toc-number">3.</span> <span class="post-toc-text">三、解析</span></a><ol class="post-toc-child"><li class="post-toc-item post-toc-level-3"><a class="post-toc-link" href="#emsp-1、extends在泛型中的基本使用"><span class="post-toc-number">3.1.</span> <span class="post-toc-text">&amp;emsp;1、extends在泛型中的基本使用</span></a></li><li class="post-toc-item post-toc-level-3"><a class="post-toc-link" href="#emsp-2、Java泛型中的通配符"><span class="post-toc-number">3.2.</span> <span class="post-toc-text">&amp;emsp;2、Java泛型中的通配符</span></a></li><li class="post-toc-item post-toc-level-3"><a class="post-toc-link" href="#emsp-3、extends关键字搭配-使用"><span class="post-toc-number">3.3.</span> <span class="post-toc-text">&amp;emsp;3、extends关键字搭配?使用</span></a></li><li class="post-toc-item post-toc-level-3"><a class="post-toc-link" href="#emsp-4、super关键字搭配-使用"><span class="post-toc-number">3.4.</span> <span class="post-toc-text">&amp;emsp;4、super关键字搭配?使用</span></a></li></ol></li><li class="post-toc-item post-toc-level-2"><a class="post-toc-link" href="#四、总结"><span class="post-toc-number">4.</span> <span class="post-toc-text">四、总结</span></a></li><li class="post-toc-item post-toc-level-2"><a class="post-toc-link" href="#参考"><span class="post-toc-number">5.</span> <span class="post-toc-text">参考</span></a></li></ol>
        </nav>
    </aside>


<article id="post-浅析Java泛型中的extends和super作用"
  class="post-article article-type-post fade" itemprop="blogPost">

    <div class="post-card">
        <h1 class="post-card-title">浅析Java泛型中extends和super作用</h1>
        <div class="post-meta">
            <time class="post-time" title="2020-01-15 18:00:01" datetime="2020-01-15T10:00:01.000Z"  itemprop="datePublished">2020-01-15</time>

            
	<ul class="article-category-list"><li class="article-category-list-item"><a class="article-category-list-link" href="/blog/categories/JavaSE/">JavaSE</a></li></ul>



            
<span id="busuanzi_container_page_pv" title="文章总阅读量" style='display:none'>
    <i class="icon icon-eye icon-pr"></i><span id="busuanzi_value_page_pv"></span>
</span>


        </div>
        <div class="post-content" id="post-content" itemprop="postContent">
            <h2 id="一、前言"><a href="#一、前言" class="headerlink" title="一、前言"></a>一、前言</h2><p>&emsp;&emsp;最近依然在看《Java编程思想》这本书，说实话，非常晦涩难懂，除了讲的比较深入外，翻译太烂也是看不懂的一个重要原因。今天在看泛型这一章，也算是有些收获吧，所以写篇博客，记录一下其中比较容易遗忘的一个知识点：<strong>在泛型中，extends和super关键字的含义和用法</strong>。</p>
<br>

<h2 id="二、描述"><a href="#二、描述" class="headerlink" title="二、描述"></a>二、描述</h2><p>&emsp;&emsp;学过Java的人应该都知道，extends和super这两个关键字的最常见的用法：</p>
<ul>
<li><code>extends</code>：让一个类继承另外一个类；</li>
<li><code>super</code>：指向父类对象的引用；</li>
</ul>
<p>&emsp;&emsp;但是在泛型中，这两个关键字都被重载，有了新的含义和用法；</p>
<br>

<h2 id="三、解析"><a href="#三、解析" class="headerlink" title="三、解析"></a>三、解析</h2><h3 id="emsp-1、extends在泛型中的基本使用"><a href="#emsp-1、extends在泛型中的基本使用" class="headerlink" title="&emsp;1、extends在泛型中的基本使用"></a>&emsp;1、extends在泛型中的基本使用</h3><p>&emsp;&emsp;我们通过一段代码进行讲解：</p>
<figure class="highlight java"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br><span class="line">8</span><br><span class="line">9</span><br><span class="line">10</span><br><span class="line">11</span><br><span class="line">12</span><br><span class="line">13</span><br><span class="line">14</span><br></pre></td><td class="code"><pre><span class="line"><span class="comment">// 在泛型中使用extends：&lt;T extends Number&gt;</span></span><br><span class="line"><span class="keyword">public</span> <span class="class"><span class="keyword">class</span> <span class="title">Test</span> &lt;<span class="title">T</span> <span class="keyword">extends</span> <span class="title">Number</span>&gt; </span>&#123;</span><br><span class="line"></span><br><span class="line">	<span class="function"><span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">void</span> <span class="title">main</span><span class="params">(String[] args)</span> </span>&#123;</span><br><span class="line">		<span class="comment">// 正确使用：Number、Integer、Double、Byte 均属于 Number</span></span><br><span class="line">		Test&lt;Number&gt; t = <span class="keyword">new</span> Test&lt;&gt;();</span><br><span class="line">		Test&lt;Integer&gt; t1 = <span class="keyword">new</span> Test&lt;&gt;();</span><br><span class="line">		Test&lt;Double&gt; t2 = <span class="keyword">new</span> Test&lt;&gt;();</span><br><span class="line">		Test&lt;Byte&gt; t3 = <span class="keyword">new</span> Test&lt;&gt;();</span><br><span class="line">		</span><br><span class="line">		<span class="comment">// 错误使用：String不属于Number</span></span><br><span class="line"><span class="comment">//		Test&lt;String&gt; t4 = new Test&lt;&gt;();</span></span><br><span class="line">	&#125;</span><br><span class="line">&#125;</span><br></pre></td></tr></table></figure>

<p>&emsp;&emsp;看上面的代码，我们声明了一个类Test，它有一个泛型T，T的声明为<code>&lt;T extends Number&gt;</code>，这表示什么意思呢？这表明：<strong>类Test的泛型，只能是Number类型，或者Number类型的派生类型（子类型）</strong>；所以，在下面的main方法中，我们将Test类对象的泛型定为<code>Number</code>、<code>Integer</code>、<code>Double</code>、<code>Byte</code>均没有问题，因为它们是Number本身，或者Number的子类型；但是我们将泛型定义为String类型，就会编译错误，因为String不是Number类型的派生类。所以，泛型中extends关键字的作用就是：<strong>限定泛型的上边界</strong>；</p>
<br>

<h3 id="emsp-2、Java泛型中的通配符"><a href="#emsp-2、Java泛型中的通配符" class="headerlink" title="&emsp;2、Java泛型中的通配符"></a>&emsp;2、Java泛型中的通配符</h3><p>&emsp;&emsp;上面讲解了泛型中，extends关键字最基本的用法，比较简单，但是在实际的使用中，还有一种更加复杂的用法，就是搭配泛型中的通配符 <code>?</code> 使用，所以我先来简单的介绍一下泛型中的通配符—— <strong>?</strong>；</p>
<p>&emsp;&emsp;在泛型中的通配符就是一个<strong>问号</strong>，标准叫法是<strong>无界通配符</strong>，它一般使用在参数或变量的声明上：</p>
<figure class="highlight java"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br><span class="line">8</span><br><span class="line">9</span><br><span class="line">10</span><br><span class="line">11</span><br><span class="line">12</span><br><span class="line">13</span><br><span class="line">14</span><br></pre></td><td class="code"><pre><span class="line"><span class="comment">// 在参数中使用无界通配符</span></span><br><span class="line"><span class="function"><span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">void</span> <span class="title">test</span><span class="params">(List&lt;?&gt; list)</span> </span>&#123;</span><br><span class="line">    Object o = list.get(<span class="number">1</span>);</span><br><span class="line">&#125;</span><br><span class="line"></span><br><span class="line"><span class="function"><span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">void</span> <span class="title">main</span><span class="params">(String[] args)</span> </span>&#123;</span><br><span class="line">    List&lt;Integer&gt; list1 = <span class="keyword">new</span> ArrayList&lt;Integer&gt;();</span><br><span class="line"></span><br><span class="line">    <span class="comment">// 在变量声明中使用无界通配符</span></span><br><span class="line">    List&lt;?&gt; list2 = list1;</span><br><span class="line"></span><br><span class="line">    test(list1);</span><br><span class="line">    test(list2);</span><br><span class="line">&#125;</span><br></pre></td></tr></table></figure>

<p>&emsp;&emsp;泛型中使用无界通配符，<strong>表示泛型可以是任意具体的类型，没有限制</strong>（基本数据类型除外，基本数据类型不能用作泛型，可以使用基本数据类型的包装类）；所以无界通配符给人的感觉就和原生的类型没什么区别，比如就上面这段代码，使用List&lt;?&gt;，和直接使用List，好像是一样的；但是实际上还是有一些区别的，比如看下面这段代码:</p>
<figure class="highlight java"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br><span class="line">8</span><br><span class="line">9</span><br><span class="line">10</span><br><span class="line">11</span><br><span class="line">12</span><br><span class="line">13</span><br><span class="line">14</span><br><span class="line">15</span><br><span class="line">16</span><br><span class="line">17</span><br><span class="line">18</span><br><span class="line">19</span><br><span class="line">20</span><br><span class="line">21</span><br><span class="line">22</span><br><span class="line">23</span><br></pre></td><td class="code"><pre><span class="line"><span class="comment">// 在参数中使用无界通配符</span></span><br><span class="line"><span class="function"><span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">void</span> <span class="title">test1</span><span class="params">(List&lt;?&gt; list)</span> </span>&#123;</span><br><span class="line">    <span class="comment">// 均编译错误，因为使用了无界通配符，编译器无法确定具体是什么类型</span></span><br><span class="line">    <span class="comment">// list.add(1111);</span></span><br><span class="line">    <span class="comment">// list.add("aaa");</span></span><br><span class="line">    <span class="comment">// list.add(new Object());</span></span><br><span class="line">&#125;</span><br><span class="line"><span class="comment">// 在参数中使用原生List</span></span><br><span class="line"><span class="function"><span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">void</span> <span class="title">test2</span><span class="params">(List list)</span> </span>&#123;</span><br><span class="line">    <span class="comment">// 编译通过，不加泛型时，编译器默认为Object类型</span></span><br><span class="line">    list.add(<span class="number">1111</span>);</span><br><span class="line">    list.add(<span class="string">"aaa"</span>);</span><br><span class="line">    list.add(<span class="keyword">new</span> Object());</span><br><span class="line">&#125;</span><br><span class="line"></span><br><span class="line"><span class="function"><span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">void</span> <span class="title">main</span><span class="params">(String[] args)</span> </span>&#123;</span><br><span class="line">    <span class="comment">// 声明两个泛型明确的list集合</span></span><br><span class="line">    List&lt;Integer&gt; list1 = <span class="keyword">new</span> ArrayList&lt;&gt;();</span><br><span class="line">    List&lt;String&gt; list2 = <span class="keyword">new</span> ArrayList&lt;&gt;();</span><br><span class="line">	<span class="comment">// 调用使用了&lt;？&gt;的方法</span></span><br><span class="line">    test(list1);</span><br><span class="line">    test(list2);</span><br><span class="line">&#125;</span><br></pre></td></tr></table></figure>

<p>&emsp;&emsp;上面这段代码演示了使用通配符和原生类型的区别。在方法<code>test1</code>中，使用了泛型类型为通配符的List，此时，我们将无法使用List的add方法，为什么？我们先看一下add方法的声明：</p>
<figure class="highlight java"><table><tr><td class="gutter"><pre><span class="line">1</span><br></pre></td><td class="code"><pre><span class="line"><span class="function"><span class="keyword">boolean</span> <span class="title">add</span><span class="params">(E e)</span></span>;</span><br></pre></td></tr></table></figure>

<p>&emsp;&emsp;我们可以看到，add方法的参数类型是一个泛型，可是在<code>test1</code>中，我们在泛型中使用了通配符，这意味着list的泛型可以是任意类型，编译器并不知道它具体是哪种类型，所以不允许我们调用list中的<strong>泛型方法</strong>。这时候大家可能有点疑问，为什么Object类型也不行呢，Object类型不是所有类型的父类吗。那是<strong>因为Java对于原生类型和通配符有不一样的定义，而在语法的设计上要符合这种定义</strong>；</p>
<p>&emsp;&emsp;在《Java编程思想》上描述了使用通配符泛型和原生类型在定义上的区别：</p>
<ul>
<li><strong>List</strong>：表示可以存储任意Object类型的集合；</li>
<li><strong>List&lt;?&gt;</strong>：表示一个存储某种<strong>特定类型</strong>的List集合，但是不知道这种特定类型是什么；</li>
</ul>
<p>&emsp;&emsp;从上面对两种定义的描述，我们可以大致了解通配符与原生类型的区别；当然，具体其实还要更加复杂，但是我现在着重讲的是泛型中的<code>extends</code>和<code>super</code>关键字，所有这里就不赘述了，上面的讲解主要是为了引出下面的内容。下面开始讲解这两个关键字如何搭配通配符使用。</p>
<br>

<h3 id="emsp-3、extends关键字搭配-使用"><a href="#emsp-3、extends关键字搭配-使用" class="headerlink" title="&emsp;3、extends关键字搭配?使用"></a>&emsp;3、extends关键字搭配?使用</h3><p>&emsp;&emsp;上面讲解了extends的一个简单用法，现在来讲解一个更加复杂的用法，就是extends关键字搭配无界通配符?使用。首先还是一样，来看一段代码：</p>
<figure class="highlight java"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br><span class="line">8</span><br><span class="line">9</span><br><span class="line">10</span><br><span class="line">11</span><br><span class="line">12</span><br><span class="line">13</span><br><span class="line">14</span><br><span class="line">15</span><br><span class="line">16</span><br><span class="line">17</span><br><span class="line">18</span><br><span class="line">19</span><br><span class="line">20</span><br><span class="line">21</span><br><span class="line">22</span><br><span class="line">23</span><br><span class="line">24</span><br><span class="line">25</span><br><span class="line">26</span><br><span class="line">27</span><br><span class="line">28</span><br><span class="line">29</span><br></pre></td><td class="code"><pre><span class="line"><span class="function"><span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">void</span> <span class="title">test1</span><span class="params">(List&lt;? extends Number&gt; list)</span> </span>&#123;</span><br><span class="line">    Number number = list.get(<span class="number">1</span>);</span><br><span class="line">    <span class="comment">// 下列均编译错误：list中元素的类型可以是任意Number的子类，所有无法确定list存储的具体是哪一种类型</span></span><br><span class="line">    <span class="comment">//	list.add(11);</span></span><br><span class="line">    <span class="comment">//	list.add(new Integer(1));</span></span><br><span class="line">    <span class="comment">//	list.add(new Double(1));</span></span><br><span class="line">&#125;</span><br><span class="line"></span><br><span class="line"><span class="function"><span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">void</span> <span class="title">test2</span><span class="params">(List list)</span> </span>&#123;</span><br><span class="line">    Object object = list.get(<span class="number">1</span>);</span><br><span class="line">    <span class="comment">// 编译通过：原生list可以存储任意Object类型</span></span><br><span class="line">    list.add(<span class="number">11</span>);</span><br><span class="line">    list.add(<span class="keyword">new</span> Integer(<span class="number">1</span>));</span><br><span class="line">    list.add(<span class="keyword">new</span> Double(<span class="number">1</span>));</span><br><span class="line">&#125;</span><br><span class="line"></span><br><span class="line"><span class="function"><span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">void</span> <span class="title">main</span><span class="params">(String[] args)</span> </span>&#123;</span><br><span class="line">    <span class="comment">// 注意下列List的泛型</span></span><br><span class="line">    List&lt;String&gt; list1 = <span class="keyword">new</span> ArrayList&lt;&gt;();</span><br><span class="line">    List&lt;Integer&gt; list2 = <span class="keyword">new</span> ArrayList&lt;&gt;();</span><br><span class="line">    List&lt;Double&gt; list3 = <span class="keyword">new</span> ArrayList&lt;&gt;();</span><br><span class="line">    List&lt;Number&gt; list4 = <span class="keyword">new</span> ArrayList&lt;&gt;();</span><br><span class="line"></span><br><span class="line">    <span class="comment">// 调用使用了泛型的方法</span></span><br><span class="line">    test1(list1);	<span class="comment">// 编译错误，因为list1的泛型为String，不是Number的子类</span></span><br><span class="line">    test1(list2);	<span class="comment">// 编译通过，因为list2的泛型为Integer，是Number的子类</span></span><br><span class="line">    test1(list3);	<span class="comment">// 编译通过，因为list3的泛型为Double，是Number的子类</span></span><br><span class="line">    test1(list4);	<span class="comment">// 编译通过，因为list4的泛型为Number，是Number的本身</span></span><br><span class="line">&#125;</span><br></pre></td></tr></table></figure>

<p>&emsp;&emsp;我们通过上面这段代码进行讲解。上面我们定义了一个方法，名字叫<code>test1</code>，它接收一个参数<code>List&lt;? extends Number&gt; list</code>，这表示<strong>参数是一个List类型，而且这个List类型的泛型不确定，但是只能是Number类型，或者Number类型的子类</strong>，所以我们在main方法中创建了四个List对象，泛型分别是<code>Number</code>、<code>Integer</code>、<code>Double</code>、<code>String</code>，只有String类型的list作为参数调用test1时，才编译错误，因为String不是Number类型的子类；所以，此处extends的作用是：<strong>限定了参数或变量中，泛型的上界</strong>；</p>
<p>&emsp;&emsp;这种写法有什么好处呢？好处就是：<strong>我们确定了泛型的上界，缩小了类型的范围</strong>，例如test1中，我们取出List集合中的元素，返回值是一个<code>Number</code>，而不是像test2方法中，返回值是Object类型。这是因为我们使用<code>extends</code>，限制了泛型的类型是Number或其子类，于是编译器就可以知道，这个list中的所有元素，一定属于Number，所有可以用Number接收，也可以调用Number类的方法；但是在test2方法中，没有限定类型上界，所有只能用Object接收；</p>
<p>&emsp;&emsp;那这么写有什么问题呢？也很明显，就是我们在讲通配符时说到的问题：<strong>无法调用参数为泛型的方法</strong>。我们使用了通配符，同时继承了Number类，根据我们之前说过的定义，<code>List&lt;? extends Number&gt; list</code>表示一个<strong>存储特定类型的List集合，且这个类型是Number或者Number的子类</strong>，这就是Java给这种参数的定义。所以编译器只能知道，这个list中，元素的大致类型，但是它具体是哪种类型，编译器不知道，所以编译器不允许我们调用任何需要用到这个具体类型信息的方法；比如我们传入一个元素为Byte类型的List，然后再调用add方法，为集合加入一个int值，这显然是不合理的。所以，使用这种参数类型，有时候也可以帮助我们限定某些不应该进行的操作。</p>
<br>

<h3 id="emsp-4、super关键字搭配-使用"><a href="#emsp-4、super关键字搭配-使用" class="headerlink" title="&emsp;4、super关键字搭配?使用"></a>&emsp;4、super关键字搭配?使用</h3><p>&emsp;&emsp;super关键字和extends关键字的含义相反，super关键字的作用是：<strong>限定了泛型的下界</strong>；还是先看一段代码：</p>
<figure class="highlight java"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br><span class="line">8</span><br><span class="line">9</span><br><span class="line">10</span><br><span class="line">11</span><br><span class="line">12</span><br><span class="line">13</span><br><span class="line">14</span><br><span class="line">15</span><br><span class="line">16</span><br><span class="line">17</span><br><span class="line">18</span><br><span class="line">19</span><br><span class="line">20</span><br><span class="line">21</span><br><span class="line">22</span><br></pre></td><td class="code"><pre><span class="line"><span class="function"><span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">void</span> <span class="title">test1</span><span class="params">(List&lt;? <span class="keyword">super</span> Integer&gt; list)</span> </span>&#123;</span><br><span class="line">    <span class="comment">// 只能通过Object接收</span></span><br><span class="line">    Object object = list.get(<span class="number">1</span>);</span><br><span class="line"></span><br><span class="line">    <span class="comment">// 编译正确，允许以下操作</span></span><br><span class="line">    list.add(<span class="number">111</span>);</span><br><span class="line">    list.add(<span class="keyword">new</span> Integer(<span class="number">1</span>));</span><br><span class="line">    <span class="comment">// 编译错误，1.5不是Integer</span></span><br><span class="line">	list.add(<span class="number">1.5</span>);</span><br><span class="line">&#125;</span><br><span class="line"></span><br><span class="line"><span class="function"><span class="keyword">public</span> <span class="keyword">static</span> <span class="keyword">void</span> <span class="title">main</span><span class="params">(String[] args)</span> </span>&#123;</span><br><span class="line">    <span class="comment">// 创建三个用于测试的List集合，泛型不同</span></span><br><span class="line">    List&lt;Integer&gt; list1 = <span class="keyword">new</span> ArrayList&lt;&gt;();</span><br><span class="line">    List&lt;Number&gt; list2 = <span class="keyword">new</span> ArrayList&lt;&gt;();</span><br><span class="line">    List&lt;Double&gt; list3 = <span class="keyword">new</span> ArrayList&lt;&gt;();</span><br><span class="line"></span><br><span class="line">    <span class="comment">// 调用使用了泛型的方法</span></span><br><span class="line">    test1(list1);	<span class="comment">// 编译正确，因为list1的泛型为Integer，等价于参数中泛型的下界</span></span><br><span class="line">    test1(list2);	<span class="comment">// 编译正确，因为list2的泛型为Number，是Integer的基类</span></span><br><span class="line">    test1(list3);	<span class="comment">// 编译错误，因为list1的泛型为Double，不是Integer的基类</span></span><br><span class="line">&#125;</span><br></pre></td></tr></table></figure>

<p>&emsp;&emsp;上面的代码中定义了一个方法<code>test1</code>来测试泛型中的super关键字，这个方法的参数类型是<code>List&lt;? super Integer&gt; list</code>，这表示<strong>这个方法的参数是一个List集合，而集合的泛型只能是Integer，或者Integer的基类</strong>。我们在main方法中定义了三个集合验证这个结论，这三个集合的泛型各不相同，分别使用这三个集合作为参数，调用test1方法。结果，泛型为<code>Integer</code>，以及<code>Number</code>的集合，调用方法成功，而泛型为<code>Double</code>的list编译错误。</p>
<p>&emsp;&emsp;我们看test1中的代码可以发现，与泛型中使用<code>extends</code>关键字不同，使用super关键字可以调用add这个参数为泛型的方法，这是为什么呢？因为我们在泛型中使用了super这个，限定了泛型的下界为Integer，这表示在list这个集合中，所有的元素一定是Integer类型，或者Integer类型的基类型，比如说Number；这表明，我们在集合中添加一个Integer类型的元素，一定是合法的，因为Integer类型的对象，肯定也是一个Integer的基类型的对象（多态）；当然，如果Integer还有子类，那也可以在add中传入Integer的子类对象（虽然Integer没有子类）；</p>
<p>&emsp;&emsp;但是我们从这个list中取出元素，只能用Object接收，这是为什么呢？因为我们定义了list的泛型下界是Integer，表明list的具体泛型可以是Integer的任何基类，而一个类的基类不止一个，比如Integer继承Number，而Number又继承Object。在这种情况下，编译器并不知道泛型具体是哪一种类型，所以只能用最高类Object进行接收。</p>
<br>

<h2 id="四、总结"><a href="#四、总结" class="headerlink" title="四、总结"></a>四、总结</h2><p>&emsp;&emsp;上面的内容大致的讲解了一下泛型中extends和super关键字的用法，让人可以有一个简单的认识，但是更多的是我个人的理解。通过看书，我觉得泛型是一个很复杂的东西，仅仅只是看还是不够的，还是需要多多实践，在实践中才能加深理解。</p>
<br>

<h2 id="参考"><a href="#参考" class="headerlink" title="参考"></a>参考</h2><p>《Java编程思想》</p>

        </div>

        <blockquote class="post-copyright">
    
    <div class="content">
        
<span class="post-time">
    最后更新时间：<time datetime="2020-01-15T13:16:14.618Z" itemprop="dateUpdated">2020-01-15 21:16:14</time>
</span><br>


        
        世界是个球，前方总有路！
        
    </div>
    
    <footer>
        <a href="http://tewuyiang.gitee.io/blog">
            <img src="/blog/img/avatar.jpg" alt="特务依昂">
            特务依昂
        </a>
    </footer>
</blockquote>

        


        <div class="post-footer">
            
	<ul class="article-tag-list" itemprop="keywords"><li class="article-tag-list-item"><a class="article-tag-list-link" href="/blog/tags/JavaSE/" rel="tag">JavaSE</a></li></ul>


            
<div class="page-share-wrap">
    

<div class="page-share" id="pageShare">
    <ul class="reset share-icons">
      <li>
        <a class="weibo share-sns" target="_blank" href="http://service.weibo.com/share/share.php?url=http://tewuyiang.gitee.io/blog/%E6%B5%85%E6%9E%90Java%E6%B3%9B%E5%9E%8B%E4%B8%AD%E7%9A%84extends%E5%92%8Csuper%E4%BD%9C%E7%94%A8/&title=《浅析Java泛型中extends和super作用》 — 博客主页&pic=http://tewuyiang.gitee.io/blog/img/avatar.jpg" data-title="微博">
          <i class="icon icon-weibo"></i>
        </a>
      </li>
      <li>
        <a class="weixin share-sns wxFab" href="javascript:;" data-title="微信">
          <i class="icon icon-weixin"></i>
        </a>
      </li>
      <li>
        <a class="qq share-sns" target="_blank" href="http://connect.qq.com/widget/shareqq/index.html?url=http://tewuyiang.gitee.io/blog/%E6%B5%85%E6%9E%90Java%E6%B3%9B%E5%9E%8B%E4%B8%AD%E7%9A%84extends%E5%92%8Csuper%E4%BD%9C%E7%94%A8/&title=《浅析Java泛型中extends和super作用》 — 博客主页&source=一个未来程序员的博客~~~" data-title=" QQ">
          <i class="icon icon-qq"></i>
        </a>
      </li>
      <li>
        <a class="facebook share-sns" target="_blank" href="https://www.facebook.com/sharer/sharer.php?u=http://tewuyiang.gitee.io/blog/%E6%B5%85%E6%9E%90Java%E6%B3%9B%E5%9E%8B%E4%B8%AD%E7%9A%84extends%E5%92%8Csuper%E4%BD%9C%E7%94%A8/" data-title=" Facebook">
          <i class="icon icon-facebook"></i>
        </a>
      </li>
      <li>
        <a class="twitter share-sns" target="_blank" href="https://twitter.com/intent/tweet?text=《浅析Java泛型中extends和super作用》 — 博客主页&url=http://tewuyiang.gitee.io/blog/%E6%B5%85%E6%9E%90Java%E6%B3%9B%E5%9E%8B%E4%B8%AD%E7%9A%84extends%E5%92%8Csuper%E4%BD%9C%E7%94%A8/&via=http://tewuyiang.gitee.io/blog" data-title=" Twitter">
          <i class="icon icon-twitter"></i>
        </a>
      </li>
      <li>
        <a class="google share-sns" target="_blank" href="https://plus.google.com/share?url=http://tewuyiang.gitee.io/blog/%E6%B5%85%E6%9E%90Java%E6%B3%9B%E5%9E%8B%E4%B8%AD%E7%9A%84extends%E5%92%8Csuper%E4%BD%9C%E7%94%A8/" data-title=" Google+">
          <i class="icon icon-google-plus"></i>
        </a>
      </li>
    </ul>
 </div>



    <a href="javascript:;" id="shareFab" class="page-share-fab waves-effect waves-circle">
        <i class="icon icon-share-alt icon-lg"></i>
    </a>
</div>



        </div>
    </div>

    
<nav class="post-nav flex-row flex-justify-between">
  
    <div class="waves-block waves-effect prev">
      <a href="/blog/Java%E5%AE%9E%E7%8E%B0%E6%9C%80%E5%B0%8F%E6%A0%88/" id="post-prev" class="post-nav-link">
        <div class="tips"><i class="icon icon-angle-left icon-lg icon-pr"></i> Prev</div>
        <h4 class="title">Java实现最小栈的两种方式</h4>
      </a>
    </div>
  

  
    <div class="waves-block waves-effect next">
      <a href="/blog/%E9%93%BE%E8%A1%A8%E4%B8%AD%E7%8E%AF%E7%9A%84%E5%85%A5%E5%8F%A3%E8%8A%82%E7%82%B9/" id="post-next" class="post-nav-link">
        <div class="tips">Next <i class="icon icon-angle-right icon-lg icon-pl"></i></div>
        <h4 class="title">链表中环的入口节点</h4>
      </a>
    </div>
  
</nav>



    




















</article>



</div>

        <footer class="footer">
    <div class="top">
        
<p>
    <span id="busuanzi_container_site_uv" style='display:none'>
        站点总访客数：<span id="busuanzi_value_site_uv"></span>
    </span>
    <span id="busuanzi_container_site_pv" style='display:none'>
        站点总访问量：<span id="busuanzi_value_site_pv"></span>
    </span>
</p>


        <p>
            
                <span><a href="/blog/atom.xml" target="_blank" class="rss" title="rss"><i class="icon icon-lg icon-rss"></i></a></span>
            
            <span>博客内容遵循 <a rel="license noopener" href="https://creativecommons.org/licenses/by-nc-sa/4.0/deed.zh" target="_blank">知识共享 署名 - 非商业性 - 相同方式共享 4.0 国际协议</a></span>
        </p>
    </div>
    <div class="bottom">
        <p><span>特务依昂 &copy; 2015 - 2020</span>
            <span>
                
                Power by <a href="http://hexo.io/" target="_blank">Hexo</a> Theme <a href="https://github.com/yscoder/hexo-theme-indigo" target="_blank">indigo</a>
            </span>
        </p>
    </div>
</footer>

    </main>
    <div class="mask" id="mask"></div>
<a href="javascript:;" id="gotop" class="waves-effect waves-circle waves-light"><span class="icon icon-lg icon-chevron-up"></span></a>



<div class="global-share" id="globalShare">
    <ul class="reset share-icons">
      <li>
        <a class="weibo share-sns" target="_blank" href="http://service.weibo.com/share/share.php?url=http://tewuyiang.gitee.io/blog/%E6%B5%85%E6%9E%90Java%E6%B3%9B%E5%9E%8B%E4%B8%AD%E7%9A%84extends%E5%92%8Csuper%E4%BD%9C%E7%94%A8/&title=《浅析Java泛型中extends和super作用》 — 博客主页&pic=http://tewuyiang.gitee.io/blog/img/avatar.jpg" data-title="微博">
          <i class="icon icon-weibo"></i>
        </a>
      </li>
      <li>
        <a class="weixin share-sns wxFab" href="javascript:;" data-title="微信">
          <i class="icon icon-weixin"></i>
        </a>
      </li>
      <li>
        <a class="qq share-sns" target="_blank" href="http://connect.qq.com/widget/shareqq/index.html?url=http://tewuyiang.gitee.io/blog/%E6%B5%85%E6%9E%90Java%E6%B3%9B%E5%9E%8B%E4%B8%AD%E7%9A%84extends%E5%92%8Csuper%E4%BD%9C%E7%94%A8/&title=《浅析Java泛型中extends和super作用》 — 博客主页&source=一个未来程序员的博客~~~" data-title=" QQ">
          <i class="icon icon-qq"></i>
        </a>
      </li>
      <li>
        <a class="facebook share-sns" target="_blank" href="https://www.facebook.com/sharer/sharer.php?u=http://tewuyiang.gitee.io/blog/%E6%B5%85%E6%9E%90Java%E6%B3%9B%E5%9E%8B%E4%B8%AD%E7%9A%84extends%E5%92%8Csuper%E4%BD%9C%E7%94%A8/" data-title=" Facebook">
          <i class="icon icon-facebook"></i>
        </a>
      </li>
      <li>
        <a class="twitter share-sns" target="_blank" href="https://twitter.com/intent/tweet?text=《浅析Java泛型中extends和super作用》 — 博客主页&url=http://tewuyiang.gitee.io/blog/%E6%B5%85%E6%9E%90Java%E6%B3%9B%E5%9E%8B%E4%B8%AD%E7%9A%84extends%E5%92%8Csuper%E4%BD%9C%E7%94%A8/&via=http://tewuyiang.gitee.io/blog" data-title=" Twitter">
          <i class="icon icon-twitter"></i>
        </a>
      </li>
      <li>
        <a class="google share-sns" target="_blank" href="https://plus.google.com/share?url=http://tewuyiang.gitee.io/blog/%E6%B5%85%E6%9E%90Java%E6%B3%9B%E5%9E%8B%E4%B8%AD%E7%9A%84extends%E5%92%8Csuper%E4%BD%9C%E7%94%A8/" data-title=" Google+">
          <i class="icon icon-google-plus"></i>
        </a>
      </li>
    </ul>
 </div>


<div class="page-modal wx-share" id="wxShare">
    <a class="close" href="javascript:;"><i class="icon icon-close"></i></a>
    <p>扫一扫，分享到微信</p>
    <img src="" alt="微信分享二维码">
</div>




    <script src="//cdn.bootcss.com/node-waves/0.7.4/waves.min.js"></script>
<script>
var BLOG = { ROOT: '/blog/', SHARE: true, REWARD: false };


</script>

<script src="//unpkg.com/hexo-theme-material-indigo@latest/js/main.min.js"></script>


<div class="search-panel" id="search-panel">
    <ul class="search-result" id="search-result"></ul>
</div>
<template id="search-tpl">
<li class="item">
    <a href="{path}" class="waves-block waves-effect">
        <div class="title ellipsis" title="{title}">{title}</div>
        <div class="flex-row flex-middle">
            <div class="tags ellipsis">
                {tags}
            </div>
            <time class="flex-col time">{date}</time>
        </div>
    </a>
</li>
</template>

<script src="//unpkg.com/hexo-theme-material-indigo@latest/js/search.min.js" async></script>






<script async src="//busuanzi.ibruce.info/busuanzi/2.3/busuanzi.pure.mini.js"></script>



<script>
(function() {
    var OriginTitile = document.title, titleTime;
    document.addEventListener('visibilitychange', function() {
        if (document.hidden) {
            document.title = '人呢，怎么不见了！';
            clearTimeout(titleTime);
        } else {
            document.title = '(つェ⊂)咦!欢迎回来!';
            titleTime = setTimeout(function() {
                document.title = OriginTitile;
            },2000);
        }
    });
})();
</script>



</body>
</html>
